Model-based testing of reactive systems
By: Jonsson, Bengt.
Contributor(s): Broy, Manfred | Katoen, Joost-Pieter | Leucker, Martin.
Material type:
BookSeries: Lecture notes in computer science.Publisher: Berlin: Springer, 2005Description: viii, 659 p.; : 24 cm.ISBN: 3540262784 .Subject(s): Information technology -- Testing | Systems software -- TestingDDC classification: 004
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 BRO (Browse shelf) | Available | 013568 |
There are no comments for this item.